Open Problems in Software Test Coverage
نویسندگان
چکیده
منابع مشابه
Temporal Modeling of Software Test Coverage
This paper presents a temporal model for the coverage achieved by software testing. The proposed model, which is applicable at any level of the testing hierarchy, can determine the value of test coverage at any given time, as well as predicting future values. The model is comprised of two main components: coverage functions, and the coverage matrix. The coverage functions represent the coverage...
متن کاملConnecting test coverage to software dependability
It is widely felt that software quality, in the form of reliability or "trustworthiness," can be demonstrated by the successful completion of testing that "covers" the software. However, this intuition has little experimental or theoretical support. This paper considers why the intuition is so powerful and yet misleading. Formal definitions of software "dependability" are suggested, along with ...
متن کاملSoftware reliability growth with test coverage
“Software test-coverage measures” quantify the degree of thoroughness of testing. Tools are now available that measure test-coverage in terms of blocks, branches, computation-uses, predicate-uses, etc. that are covered. This paper models the relations among testing time, coverage, and reliability. An LE (logarithmic-exponential) model is presented that relates testing effort to test coverage (b...
متن کاملOpen Architecture Software for OPENSTAR Test Platform
A new concept of Open Architecture Automated Test Equipment (ATE) is being discussed hotly in the semiconductor industry in terms of new hardware and software architectures. This paper presents Open Architecture Software for OPENSTARTM — the Open Semiconductor Test Architecture that is being defined by the Semiconductor Test Consortium. The software architecture and related components of the so...
متن کاملA Novel Test Coverage Metric for Concurrently-Accessed Software Components
We propose a novel, practical coverage metric called “location pairs” (LP) for concurrently-accessed software components. The LP metric captures well common concurrency errors that lead to atomicity or refinement violations. We describe a software tool for measuring LP coverage and outline an inexpensive application of predicate abstraction and model checking for ruling out infeasible coverage ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Lecture Notes on Software Engineering
سال: 2014
ISSN: 2301-3559
DOI: 10.7763/lnse.2014.v2.107